rule of universal generalization
英 [ruːl ɒv ˌjuːnɪˈvɜːsl ˌdʒenrəlaɪˈzeɪʃn]
美 [ruːl əv ˌjuːnɪˈvɜːrsl ˌdʒenrələˈzeɪʃn]
全称推广规则
双语例句
- Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。